Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·12h
🎯Performance Proofs
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
Guessing Game: Haskell Style
entropicthoughts.com·18h
👑Dependent Haskell
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·4h
✅Format Verification
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·3h·
Discuss: DEV
🔒WASM Capabilities
Structural vs. Mathematical “Under” (2023)
dyalog.com·16h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Is Math Discovered or Invented?
curtispoe.org·9h
🔲Proof Irrelevance
Did GPT-5 Solve 'New Math'?
tech2geek.net·7h·
Discuss: Hacker News
🎯Performance Proofs
5 Tiny Phrases Every Engineer Should Use With AI
read.highgrowthengineer.com·2d
⚡Proof Automation
How experienced engineers get unstuck in coding interviews
newsletter.pragmaticengineer.com·22m
⚡Proof Automation
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·2h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·3h·
Discuss: Hacker News
⚔️Lean Tactics
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·3h
🦀Rust Macros
The Lobster Programming Language
strlen.com·21h·
Discuss: Hacker News
🔗Concatenative Programming
I open-sourced a protocol to create auditable logs for AI agents
medium.com·2h·
Discuss: Hacker News
🚀Indie Hacking
🌟 Automating Cover Letters with Portia AI: My AgentHack 2025 Journey
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·2h·
Discuss: Hacker News
⚡Proof Automation
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·12h
🧠Machine Learning
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
🔗Constraint Handling